Patch for bug https://bugzilla.gnome.org/show_bug.cgi?id=673630

diff --git a/js/ui/main.js b/js/ui/main.js
index 8d7c48e19dba779865524facaa82d06183e91eb6..81232ffacf68fd2fe36609a55de317a2b4a193fe 100644 (file)
--- a/js/ui/main.js
+++ b/js/ui/main.js
@@ -105,6 +105,7 @@ function createInitialSetupSession() {
 
 function _initRecorder() {
     let recorderSettings = new Gio.Settings({ schema: 'org.gnome.shell.recorder' });
+    let desktopLockdownSettings = new Gio.Settings({ schema: 'org.gnome.desktop.lockdown' });
     let bindingSettings = new Gio.Settings({ schema: 'org.gnome.shell.keybindings' });
 
     global.display.add_keybinding('toggle-recording',
@@ -117,7 +118,7 @@ function _initRecorder() {
         if (recorder.is_recording()) {
             recorder.close();
             Meta.enable_unredirect_for_screen(global.screen);
-        } else {
+        } else if (!desktopLockdownSettings.get_boolean('disable-save-to-disk')) {
             // read the parameters from GSettings always in case they have changed
             recorder.set_framerate(recorderSettings.get_int('framerate'));
             /* Translators: this is a filename used for screencast recording */